#ifndef _TIMER_H_INCLUDED_
#define  _TIMER_H_INCLUDED_

#include "defines.h"
#include "kernel.h"

void timer_init();
uint32 get_systime();
int set_alarm(kz_thread *thp, uint32 tick);

#endif
